BOOK.[F78,JMC]		Goedel numbers for book
CHERNI.RV1[F78,JMC]	THE ROSENBLOOM FALLACY
CONCEP.[F78,JMC]	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS
				AND PROPOSITIONS
COUNT.LSP[F78,JMC]	call-by-name calls counter
DREYFU.REV[F78,JMC]	review of Dreyfus paper for IEEE
ESTATE.[F78,JMC]	notes on Vera estate
FINDLE.REV[F78,JMC]	comments on Findler proposal
HAYES.COM[F78,JMC]	Hayes's comments on CONCEP[s78,jmc] @ 15 April 1977
INTRO.[F78,JMC]		ANNAPURNA TAPE DIARY
KNOW.[F78,JMC]		"Mike knows what Joan asserted", etc.
NEEDEV.LSP[F78,JMC]	call-by-need eval
PAT.LSP[F78,JMC]	obscure
PHON1.[F78,JMC]		phones and addresses of Vera relatives
QTAK.LSP[F78,JMC]	version of Takeuchi funtion
QUOTES.[F78,JMC]	literary quotes
REV1.PRF[F78,JMC]	proof of properties of rev1
REVDIS.PRF[F78,JMC]	distributivity of rev1
TAK.LSP[F78,JMC]	yet another qtak
TAK2.AX[F78,JMC]	axioms for Takeuchi function
TAK2.LSP[F78,JMC]	Takeuchi function
TAK2.PRF[F78,JMC]	memo with proof of Takeuchi function
TAKEUC.AX[F78,JMC]	axioms for Takeuchi function
TAKEUC.PRF[F78,JMC]	proof of correctness of Takeuchi function
TAKEUC.TEX[F78,JMC]	AN INTERESTING LISP FUNCTION - Takeuchi - TEX version
VERA.[F78,JMC]		remembrances